A COMPILE-TIME DEADLOCK DETECTION PATTERN

The paper presents the application of the trait technique in generic programming for compiletimedeadlock detection and prevention in multithreaded applications

Can humain association norm evaluate latent semantic analysis?

This paper presents the comparison of word association norm created by a psycholinguistic experiment to association lists generated by algorithms operating on text corpora. We compare lists generated by Church and Hanks algorithm and lists generated by LSA algorithm. An argument is presented on how those automatically generated lists reflect real semantic relations

Chitosan and Cystatin/Lysozyme Preparation as Protective Edible Films Components

This work characterizes biological, physical, and chemical properties of films formed from an aqueous solution of hydroxypropyl methylcellulose (HPMC), with different concentrations of chitosan (CH) and bioactive cystatin/lysozyme preparation (C/L). The properties of biocomposites were examined by Dynamic Mechanical Analysis (DMA), Fourier’s transfer infrared spectroscopy (FTIR), water vapour permeability (WVP), and tensile testing. Antimicrobial activity against Micrococcus flavus, Bacillus cereus, Escherichia coli, Pseudomonas fluorescens, and Candida famata was conducted. Films glass transition and storage modulus were dependent on the C/L and CH concentration. Modulus values decreased during the temperature scan and with higher reagents levels. An increase of CH and C/L concentrations in the films resulted in a decrease in tensile strength from 2.62 to 1.08 MPa. It suggests the hydrolyzing influence of C/L, also observed in smaller peak size of α relaxation. C/L addition caused shifting Tg to higher temperature. DMA and FTIR analysis proved that HPMC and CH are compatible polymers. Water resistance was improved with rising CH concentration from 1.08????−09to7.71????−10g/m∗s∗ PA . The highest inhibition zone in M. flavus and C. famata was recorded at the highest concentration of CH and C/L

A compile-time deadlock detection pattern Wzorzec czasu kompilacji dla detekcji zakleszczeń /

Tyt. z nagłówka.References p. 92.Dostępny również w formie drukowanej.STRESZCZENIE: W artykule zaprezentowano przykład zastosowana techniki trejtów z C++ do wykrywania potencjalnych zakleszczeń w programie wielowątkowym. SŁOWA KLUCZOWE: programowanie uogólnione, wielowątkowść, wzorce projektowe. ABSTRACT: The paper presents the application of the trait technique in generic programming for compiletime deadlock detection and prevention in multihreaded applications. KEYWORDS: generic programming, multithreading, design patterns

Transducer skończenie stanowy jako narędzie rozpoznawania form tekstowych wyrazów polskich rozprawa doktorska napisana pod kierunkiem Wiesława Lubaszewskiego /

Tyt. z ekranu tytułowego.Praca doktorska. Akademia Górniczo-Hutnicza im. Stanisława Staszica (Kraków), 2008.Zawiera bibliogr.Dostępna także w wersji drukowanej.Tryb dostępu: Internet.Formalizm, taggery, stemmery języka polskiego, formalne modele opisu słownika fleksyjnego, formalny model fleksji języka polskiego, gramatyki lokalne, schemat klasyfikacji fleksyjnej wyrazów języka polskiego, model skończenie stanowy, rozszerzone wyrażenia regularne, relacje regularne w przetwarzaniu języka naturalnego, eliminowanie nadmiarowych odstępów, prosta tokenizacja, alternacja tematu, relacyjny model przymiotnika złożonego, maszyna transducerowa, automaty skończenie stanowe, języki regularne, transducery, relacje regularne, formalizm a jego implementacja, opis architektury, przetwarzania przy użyciu maszyny transducerowej, rozpinanie grafu transducera, zastosowane algorytmy optymalizacyjne, system automatycznej ekstrakcji reguł fleksyjnych ze słownika, podstawowe założenia, reprezentacja słownika, miara łańcuchowa w drzewie trie, procedura ekstrakcji reguł ze słownika, homogramy, meta-etykiety, ekstrakcja reguł, algorytm doboru reguł, kategoryzacja wyników, zastosowanie reguł, tagger, oparty o transducery, struktura strumienia wejściowego, tokenizacja, stemmer hybrydowy, szczegółowy opis rozwiązania, realizacja stemmera przy użyciu transducera, taggera, analiza skuteczności wyekstrahowanych reguł, przyjęta metodologia analizy, materiał badawczy, punkt odniesienia badań, porównanie z innymi stemmerami na przykładzie Stempelatora, szczegóły implementacyjne maszyny transducerowej, przyjęte rozwiązania techniczne, model zarządzania pamięcią, mechanizm zrównoleglenia zadań, jego wydajność, ankieta sprawdzająca skuteczność wyekstrahowanych reguł, niezmienniki w implementacji transducerów, reprezentacja słownika w postaci sklejenia dwu drzew trie, symbole pomocnicze jako niezmiennik implementacji, złożenie transducerów a zbiór etykiet krawędzi automatu, przykład wyekstrahowanych reguł, dla stemmera regułowego, przykład pliku wejściowego kompilatora xrec, instrukcja użytkownik